Buy Used and New Frank de Boer Books

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings: 9109 (Lecture Notes in Computer Science)

by Nikolaj Bjørner,Frank de Boer

ISBN 13: 9783319192482

Format: Paperback (628 pages)
Publisher: Springer
Published: 14 Jul 2015

Save for later

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab: 10865 (Lecture Notes in Computer Science)

by Frank de Boer,Marcello Bonsangue,Jan Rutten

ISBN 13: 9783319900889

Format: Paperback (260 pages)
Publisher: Springer
Published: 07 Apr 2018

Save for later